Programming language comparisons

Results: 52



#Item
31True Sums of Products Edsko de Vries Well-Typed LLP Well-Typed LLP

True Sums of Products Edsko de Vries Well-Typed LLP Well-Typed LLP

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-02 06:27:04
32Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao

Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao

Add to Reading List

Source URL: stratosphere.eu

Language: English - Date: 2016-05-27 12:05:58
33Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/  Abstract. A function is said to be generic if it operates over values of

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
34c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
35Type-Directed Language Extension for Effectful Computations Evgenii Kotelnikov Chalmers University of Technology Gothenburg, Sweden

Type-Directed Language Extension for Effectful Computations Evgenii Kotelnikov Chalmers University of Technology Gothenburg, Sweden

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2014-07-29 07:43:08
36Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Add to Reading List

Source URL: gbaz.github.io

Language: English - Date: 2016-02-29 17:49:20
37Fold-Based Fusion as a Library A Generative Programming Pearl Manohar Jonnalagedda, Sandro Stucki, EPFL Scala ‘15, Portland, June  An Example

Fold-Based Fusion as a Library A Generative Programming Pearl Manohar Jonnalagedda, Sandro Stucki, EPFL Scala ‘15, Portland, June An Example

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2015-06-14 21:36:50
38Supero: Making Haskell Faster

Supero: Making Haskell Faster

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
39Supero: Making Haskell Faster

Supero: Making Haskell Faster

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
40Deriving Generic Functions by Example

Deriving Generic Functions by Example

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22